5

Truth Definitions in Finite Models

Year:
2004
Language:
english
File:
PDF, 2.01 MB
english, 2004
10

The strength of sharply bounded induction requires

Year:
2010
Language:
english
File:
PDF, 518 KB
english, 2010
12

Well-behaved principles alternative to bounded induction

Year:
2004
Language:
english
File:
PDF, 248 KB
english, 2004
17

O- and N-acylureas in peptide synthesis by DCC method. New observations

Year:
1978
Language:
english
File:
PDF, 150 KB
english, 1978
21

Independence results for variants of sharply bounded induction

Year:
2011
Language:
english
File:
PDF, 272 KB
english, 2011
40

Truth definitions in finite models

Year:
2004
Language:
english
File:
PDF, 1.25 MB
english, 2004
41

FRAGMENTS OF APPROXIMATE COUNTING

Year:
2014
Language:
english
File:
PDF, 459 KB
english, 2014